Clean up mark_dirty() implementation to check for log-dirty
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 24 Nov 2005 14:38:33 +0000 (15:38 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 24 Nov 2005 14:38:33 +0000 (15:38 +0100)
commitbe8dc153762406dc90d297b4ad2c7427ab000d0d
tree471715c6402b714e4b86217d64d8d0f01d7ff5e2
parent0b7989bf3d5022b48d209576ef8b6044fb126742
Clean up mark_dirty() implementation to check for log-dirty
status internally, with the shadow_lock held for consistency.

Callers no need to check log-dirty status themselves.

Also, add dirty logging to alloc_page_type/free_page_type, so
that we see page tables coming and going during live relocation.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/mm.c
xen/arch/x86/shadow.c
xen/arch/x86/shadow32.c
xen/arch/x86/shadow_public.c
xen/include/asm-x86/domain.h
xen/include/asm-x86/grant_table.h
xen/include/asm-x86/shadow.h